integral of a constant